1. Inicio
  2. Libros
  3. INFORMÁTICA (LIBROS)
  4. Lógica formal y no formal

Lógica formal y no formal

Autor: Martínez Rey, Aurora

Sección: INFORMÁTICA (LIBROS) - INFORMÁTICA (LIBROS) GRAL

Lógica formal y no formal

Lógica formal y no formal

42,00€ IVA INCLUIDO

Editorial:
-
Publicación:
01/09/2023
Ver ficha completa

NO DISPONIBLE

Sinopsis

Este libro tiene como objetivo proporcionar a los estudiantes del grado de Ingeniería Informática herramientas y conceptos básicos tanto de la lógica formal como de la lógica no formal, junto con sus aplicaciones. Su propósito es ayudar al lector a adquirir habilidades de aprendizaje, razonamiento y formalización correcta. El texto consta de nueve capítulos que abarcan todos los aspectos necesarios …

Este libro tiene como objetivo proporcionar a los estudiantes del grado de Ingeniería Informática herramientas y conceptos básicos tanto de la lógica formal como de la lógica no formal, junto con sus aplicaciones. Su propósito es ayudar al lector a adquirir habilidades de aprendizaje, razonamiento y formalización correcta. El texto consta de nueve capítulos que abarcan todos los aspectos necesarios para comprender la lógica en su totalidad. Cada capítulo incluye la teoría fundamental y, al final, se presentan una serie de ejercicios propuestos para despertar la curiosidad del lector e incentivar la práctica de la teoría expuesta. Los primeros capítulos del manual se centran en el desarrollo de la lógica formal, examinando tanto su sintaxis como su semántica. En los capítulos finales, se aborda la lógica no formal, proporcionando un enfoque práctico a esta parte de la lógica que, a menudo, resulta subjetiva para muchos. Además, se ofrece una visión completa de las aplicaciones de la lógica en el ámbito de la informática. La autora de esta obra es doctora en Ingeniería Informática y posee más de diez años de experiencia docente en el área de la informática, especialmente en ingeniería de sistemas, inteligencia artificial e ingeniería y gestión del conocimiento.
Leer más

Más libros de Martínez Rey, Aurora

Más información del libro

Lógica formal y no formal

Editorial:
-
Fecha Publicación:
Formato:
Bolsillo tapa blanda
ISBN:
978-84-454-4627-0
EAN:
9788445446270
Nº páginas:
312
Colección:
Lengua:
ESPAÑOL
Alto:
24 mm
Ancho:
17 mm
Sección:
INFORMÁTICA (LIBROS)
Sub-Sección:
INFORMÁTICA (LIBROS) GRAL

Otros libros en INFORMÁTICA (LIBROS)

También te pueden interesar